VDict - Definition of reduction rule

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

delta reduction reduction reduction strategy parallel reduction string reduction eta conversion beta reduction Computational Adequacy Theorem redex term rewriting system Weak Head Normal Form applicative order reduction LogC Church-Rosser Theorem graph reduction head normalisation theorem least recently used name capture call-by-name grammar normal order reduction Compiler Target Language projection call-by-need normal form inference rule airplane rule OPS5 narrowing 90-90 Rule Ninety-Ninety Rule operational semantics logic programming Goffin black hole Miranda knowledge lazy evaluation RPL-1 LNF finite differencing S-K reduction machine type inference eta reduction contraction GRIP evaluation GRAAL beta conversion PROgrammed Graph REwriting Systems demand driven Tree Transformation Language evaluation strategy delta conversion diverge graph rewriting system specialisation Tcode combination XC more...